<?php
echo json_encode(array("Contract", "Salaris", "Feestdagen", "Over AppieTijden")); 
?>